- финитная общезначимость
- finitary validity мат.
Русско-английский научно-технический словарь Масловского. 2015.
финитная общезначимость
Look at other dictionaries:
ФИНИТНАЯ ОБЩЕЗНАЧИМОСТЬ — одна из не классич. интерпретаций логич. формул, предложенная с целью уточнения выдвинутой А. Н. Колмогоровым программы истолкования интуиционистской логики . высказываний как исчисления задач. А. Н. Колмогоров высказал [1] идею, что наряду с… … Математическая энциклопедия
ФИНИТНАЯ ЗАДАЧА — см. Финитная общезначимость … Математическая энциклопедия
